A expressão de busca foi <related:dpi.inpe.br/plutao/2012/11.28.17.33.54-0:en:title:2:statecharts generation automated machines:gtsc automated model based test case generation statecharts finite state machines:>.
4 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos. Data e hora local de busca: 30/04/2024 12:29. |
SantiagoJúniorVijFerGuiCos:2012:AuMoTe Santiago Júnior, V. A., et al. :2012: GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa) <plutao.sid.inpe.br> |
SantiagoJúniorVijGuiAmaSou:2008:EnTeCa Santiago Júnior, V. A., et al. :2008: An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa) <plutao.sid.inpe.br> |
SantiagoVijGuiAmaFer:2008:EnAuTe Santiago, V., et al. :2008: An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa) <plutao.sid.inpe.br> |
SantiagoAmViMaMaLo:2006:PrApAu Artigo em Evento (0.37) -m- Santiago, V., et al. :2006: A pratical approach for automated test case generation using statecharts metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa) <mtc-m16.sid.inpe.br> |